Autonomy for Contract, Refined

> Theories of contract and the concept of autonomy

Philosophical Approach to Autonomy and a scale for Measuring Ethical Autonomy of Public Librarians

Purpose: in this article I tried to construct a new scale for measuring ethical autonomy of public librarians by rereading and reinterpreting the reflections of ethical philosophers on the concept of autonomy. Methodology: this research implemented in two phases. In the phase 1, I used documentary research method and conceptual analysis approach to find and analyze key ideas of philosophers. B...

refined solvable presentations for polycyclic groups

‎we describe a new type of presentation that‎, ‎when consistent‎, ‎describes a polycyclic group‎. ‎this presentation is obtained by‎ ‎refining a series of normal subgroups with‎ ‎abelian sections‎. ‎these presentations can be described effectively in‎ ‎computer-algebra-systems like {scshape gap} or ‎{scshape magma}‎. ‎we study these ‎presentations and‎, ‎in particular‎, ‎we obtain consistency c...

Refined Interfaces for Compositional Verification

The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krim...

Refined Interfaces for Compositional Verification